Strong Church-Turing thesis asserts that any physically realizable universal computer can efficiently simulate any other (under a loose notion of efficiently)